Microsoft Word - PressRelease.doc

Source URL: quantuminformation.physi.uni-heidelberg.de

• Quantum mechanics
• Quantum information science
• Theoretical computer science
• Physics
• Quantum computing
• Emerging technologies
• Teleportation
• Quantum teleportation
• Quantum network
• Qubit
• Quantum information
• Quantum technology

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal

Source URL: mws.cs.ru.nl

• Mathematics
• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Artificial intelligence
• Automated reasoning
• Reasoning
• Mathematical proof
• Theorem
• Mizar
• Parsing

Theoretical Computer Science Cheat Sheet Definitions iff ∃ positive c, n0 such that 0 ≤ f (n) ≤ cg(n) ∀n ≥ n0 . f (n) = O(g(n))

Source URL: www.cs.princeton.edu

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Linear Programming and Unique Sink Orientations Bernd G¨artner∗ Institute of Theoretical Computer Science ETH Z¨ urich 8092 Z¨

Source URL: people.inf.ethz.ch

Towards a Theoretical Foundation for Laplacian-Based Manifold Methods Mikhail Belkin Ohio State University, Dept. of Computer Science and Engineering Partha Niyogi

Source URL: people.cs.uchicago.edu

The importance of computing intermodal roundtrips in multimodal guidance systems Daniel Baumann, EPFL - LAVOC Alexandre Torday, EPFL - LAVOC Prof. André-Gilles Dumont, EPFL - LAVOC

Source URL: www.strc.ch

• Edsger W. Dijkstra
• Logistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Shortest path problem
• Intermodal freight transport
• Transport
• Multimodal transport
• Program optimization
• Intermodal journey planner
• Journey planner

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability